Model-Based Shrinking for State-Based Testing

Issues found in model-based testing of state-based systems are traces produced by the system under test, sut, that are not allowed by the model used as specification. It is usually easier to determine the error behind the reported issue when there is a short trace revealing the issue. The model-based test system treats the sut as a black box. Hence the test system cannot use internal information of the sut to find short traces. This paper show how the model can be used to systematically search for short traces producing an issue based on a long trace revealing an issue.